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