document.write (" 12662 ");