document.write ("6143 ");