////////////////////////////////////////////////////////////////////////// // define domains ////////////////////////////////////////////////////////////////////////// // end of file