document.write (" 4241 ");