/* */document.write('-23');