document.write ("5142");