document.write ("5270 ");