document.write(' 5270 ');