/// function used for debug
void debug() {

}