// JScript File

document.write(s);