document.write ("6241");