document.write (" 12703 ");