// JavaScript Document
function __ws__(id) {
	document.write(id.text);id.id='';
}