// JavaScript Document
	JAVA_FLAG=1;