function write(source) {
 document.write(source);
}