Constant EXECUTE_JAVA_SCRIPT 

pub const EXECUTE_JAVA_SCRIPT: u64 = 0x79abdd4907000542;