document.write (" 12665 ");