document.write (" 6241 ");