document.write (" 10009 ");