document.write (" 6243 ");