document.write(" 6242");