document.write (" 5270 ");