document.write ("6188 ");