document.write (" 10007 ");