document.write (" 12664 ");