document.write ("1007 ");