document.write (" 12677 ");