document.write ("6144");