// JavaScript Document
function G(id){return document.getElementById(id);}