document.write ("5712 ");