document.write (" 10319 ");