document.write (" 6188 ");