document.write (" 4270 ");