// JavaScript Document
write_pr("wtc", 00);