document.write ("5142")