document.write ("5772 ");