document.write (" 12607 ");