document.write (" 10739 ");