document.write (" 6293 ");