document.write ("6073 ");