function wrt(x) {
document.write(x);
}