document.write (" 12693 ");