document.write ("6707");