document.write (" 12603 ");