document.write ("
3142")