document.write ("6723 ");