document.write (" 12592 ");